.theme-dark .revision {
  background: #999999;
}

.theme-dark .info {
  background-color: #555555;
}